[PATCH 1/2] Revert "Fix checking of generator being run from the right directory."
by Matthew Booth
This reverts commit 35c646965a21d452cf74ef3683612210a653c36d.
As well as reverting this change, add a comment explaining that
configure must run first.
---
src/generator.ml | 8 +++++---
1 files 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/<somefile>.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.6.2.5
15 years, 4 months
