diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/generator.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/generator.ml b/src/generator.ml index 1a4e507b..66c272f1 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 |