b30218df492f51a9205971195b1e0d99298d3dbc
[lhc/ateliers.git] / lib / rule.sh
1 #!/bin/sh
2
3 rule () {
4 local -
5 local rule="$1"; shift
6 info "$*" rule
7 ${TRACE:+set -x}
8 rule_$rule "$@"
9 }