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.
This commit is contained in:
Richard W.M. Jones
2009-07-07 20:28:29 +01:00
parent 9e67beed7a
commit 35c646965a

View File

@@ -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