diff -r 000000000000 -r 0d7348cb7faa scripts/build/debug/duma.in
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/scripts/build/debug/duma.in	Mon Jun 30 20:37:14 2008 +0000
@@ -0,0 +1,44 @@
+#!/bin/sh
+# (C) 2008 Yann E. MORIN <yann.morin.1998@anciens.enib.fr>
+# Licensed under the GPL v.2
+
+LIBDUMA_SO=
+
+case "$1" in
+  -on)
+    case "${LD_PRELOAD}" in
+      *${LIBDUMA_SO}*) ;;
+      *) LD_PRELOAD="${LIBDUMA_SO} ${LD_PRELOAD}";;
+    esac
+    shift
+    ;;
+  -off)
+    LD_PRELOAD="${LD_PRELOAD//${LIBDUMA_SO}/}"
+    shift
+    ;;
+  -show)
+    case "${LD_PRELOAD}" in
+      *${LIBDUMA_SO}*) echo "duma is enabled";;
+      *)               echo "duma is disabled";;
+    esac
+    exit 0
+    ;;
+  "")
+    cat <<_EOF_
+Usage:
+    . $0 <-on|-off|-show>
+        Sets, unsets or show DUMA usage.
+    $0 <executable [arg...]>
+        Execute 'executable' (with arguments 'args') using DUMA.
+_EOF_
+    false # Don't 'exit', we could well be source'd
+    ;;
+  *)
+    exec "$0" -on "$@"
+    ;;
+esac
+
+export LD_PRELOAD
+if [ -n "$1" ]; then
+  exec "$@"
+fi