Fix leaking a variable in lib.sh.

diff --git a/lib.sh b/lib.sh
index e222da42f00a52c7b391cecd01322b564dad6e0b..582e1cffe66b1f440dcec0744c08f336fffeb8ea 100644 (file)
--- a/lib.sh
+++ b/lib.sh
@@ -70,4 +70,6 @@ m4() {
     # Process $1.m4 with m4 using the given options.
     echo "m4(): generating '$file' from '$file.m4' with options '$*'"
     $m4 $* $file.m4 >> $file
     # Process $1.m4 with m4 using the given options.
     echo "m4(): generating '$file' from '$file.m4' with options '$*'"
     $m4 $* $file.m4 >> $file

+
+    unset file

 }
 }