From 986541c26ddeec7583cfb41412d4edaef60703a2 Mon Sep 17 00:00:00 2001 From: Richard Jones Date: Thu, 19 Nov 2009 16:59:56 +0000 Subject: [PATCH] syntax-check: Fix tab-vs-space issue in the generator. --- src/generator.ml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/generator.ml b/src/generator.ml index e3584cc..4bf5aec 100755 --- a/src/generator.ml +++ b/src/generator.ml @@ -10188,15 +10188,15 @@ let () = try Unix.openfile "HACKING" [Unix.O_RDWR] 0 with | Unix.Unix_error (Unix.ENOENT, _, _) -> - eprintf "\ + eprintf "\ You are probably running this from the wrong directory. Run it from the top source directory using the command src/generator.ml "; - exit 1 + exit 1 | exn -> - perror "open: HACKING" exn; - exit 1 in + perror "open: HACKING" exn; + exit 1 in (* Acquire a lock so parallel builds won't try to run the generator * twice at the same time. Subsequent builds will wait for the first -- 1.8.3.1