From 35c646965a21d452cf74ef3683612210a653c36d Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Tue, 7 Jul 2009 20:28:29 +0100 Subject: [PATCH] Fix checking of generator being run from the right directory. Originally it was looking for 'config.status', but this file might not exist until configure has been run. Make it look for HACKING instead. --- src/generator.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/generator.ml b/src/generator.ml index 1a4e507..66c272f 100755 --- a/src/generator.ml +++ b/src/generator.ml @@ -8096,7 +8096,7 @@ let output_to filename = let () = check_functions (); - if not (Sys.file_exists "config.status") then ( + if not (Sys.file_exists "HACKING") then ( eprintf "\ You are probably running this from the wrong directory. Run it from the top source directory using the command -- 1.8.3.1