From 456446a86909dd05a5162aca4d676f680b47abc4 Mon Sep 17 00:00:00 2001 From: Matthew Booth Date: Mon, 13 Jul 2009 12:55:02 +0100 Subject: [PATCH] Revert "Fix checking of generator being run from the right directory." This reverts commit 35c646965a21d452cf74ef3683612210a653c36d. As well as reverting this change, add a comment explaining that configure must run first. --- src/generator.ml | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/src/generator.ml b/src/generator.ml index 47db5d9..2446299 100755 --- a/src/generator.ml +++ b/src/generator.ml @@ -24,8 +24,10 @@ * this one to describe the interface (see the big table below), and * daemon/.c to write the implementation. * - * After editing this file, run it (./src/generator.ml) to regenerate - * all the output files. + * After editing this file, run it (./src/generator.ml) to regenerate all the + * output files. Note that if you are using a separate build directory you must + * run generator.ml from your top level build directory. You must also have run + * configure before generator.ml will run. * * IMPORTANT: This script should NOT print any warnings. If it prints * warnings, you should treat them as errors. @@ -8212,7 +8214,7 @@ let output_to filename = let () = check_functions (); - if not (Sys.file_exists "HACKING") then ( + if not (Sys.file_exists "config.status") 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