Modification : polissage et log

[lhc/ateliers.git] / lib / rule.sh

diff --git a/lib/rule.sh b/lib/rule.sh
new file mode 100644 (file)
index 0000000..b30218d
--- /dev/null
+++ b/lib/rule.sh
@@ -0,0 +1,9 @@
+#!/bin/sh
+
+rule () {
+       local -
+       local rule="$1"; shift
+       info "$*" rule
+       ${TRACE:+set -x}
+       rule_$rule "$@"
+ }