Changeset 316

Timestamp:

Mar 13, 2007 5:43:39 PM (6 years ago)

Author:

dkg

Message:

debirf: export msg, so that plugins can emit messages with it.

File:

• trunk/debirf/make-debirf (modified) (1 diff)

trunk/debirf/make-debirf

@@ -18 +18 @@
     echo "  debirf: $@"
 }
+
+export -f msg
 
 setup_debirf_info() {