run: Fix whitespace.

[goals.git] / Goalfile.in

diff --git a/Goalfile.in b/Goalfile.in
index 318d644..2fcf7dd 100644 (file)
--- a/Goalfile.in
+++ b/Goalfile.in
@@ -34,6 +34,7 @@ let objects = [
     "src/cmdline.cmx",
     "src/ast.cmx",
     "src/eval.cmx",
+    "src/run.cmx",
     "src/parser.cmx",
     "src/lexer.cmx",
     "src/parse.cmx",
@@ -77,7 +78,8 @@ goal maintainer-clean = : clean {
     # output which doesn't work directly in goals.
     %OCAMLDEP src/*.ml src/*.mli |
         sed ':x; /\\$/ { N; s/\\\n//; tx }' |
-        sed 's,[./[:alnum:]]\+,"&",g' > %@-t
+        sed 's,[./[:alnum:]]\+,"&",g' |
+        sed 's,.*,& ;,' > %@-t
     mv %@-t %@
 }