Adding debian version 5.0-4.debian/5.0-4debian

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 32 insertions, 0 deletions

diff --git a/debian/run-my-gprof b/debian/run-my-gprof
new file mode 100644
index 0000000..7a495ba
--- /dev/null
+++ b/debian/run-my-gprof
@@ -0,0 +1,32 @@
+#! /bin/sh
+
+PATH=.:$PATH	# just to get recho/zecho/printenv if not run via `make tests'
+export PATH
+
+# unset BASH_ENV only if it is set
+[ "${BASH_ENV+set}" = "set" ] && unset BASH_ENV
+# ditto for SHELLOPTS
+#[ "${SHELLOPTS+set}" = "set" ] && unset SHELLOPTS
+
+: ${THIS_SH:=../bash}
+export THIS_SH
+
+${THIS_SH} ./version
+
+rm -f /tmp/xx
+
+echo Any output from any test, unless otherwise noted, indicates a possible anomaly
+
+echo Running tests as test load ...
+
+for x in run-*
+do
+	case $x in
+	$0|run-minimal|run-gprof|run-all)	;;
+	run-jobs|run-gprof)	echo SKIP $x ;;
+	*.orig|*~) ;;
+	*)	echo $x ; sh $x ;;
+	esac
+done
+
+exit 0