Correction : vm_hosted : chmod ugo-x les scripts d'init.d pour qu'apt-get upgrade...
[lhc/ateliers.git] / lib / rule.sh
1 #!/bin/sh
2
3 . "$tool"/lib/log.sh
4
5 rule () {
6 local -
7 local rule="$1"; shift
8 info "$*" rule
9 ${TRACE:+set -x}
10 rule_$rule "$@"
11 }