From 93acdc566515a7dc93200e7b4f8372f09e998932 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 4 Sep 2015 11:26:48 +0200
Subject: [PATCH] Restore appropriate path for machdep generation

Yet another bite from the beb(*)
(*) breaking-everything-branch
---
 Makefile.generating | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/Makefile.generating b/Makefile.generating
index 33b4ea6b2cb..f50833a6382 100644
--- a/Makefile.generating
+++ b/Makefile.generating
@@ -96,10 +96,12 @@ $(CONFIG_FILE): $(CONFIG_FILE).in VERSION share/Makefile.config Makefile.generat
 
 ifeq ("$(LOCAL_MACHDEP)","yes")
 
+MACHDEP_PATH=share
+
 # Create the machine dependency module
 # If the cl command cannot be run then the MSVC part will be identical to GCC
-.PHONY : machdep $(CIL_PATH)/local_machdep.ml
-machdep: $(CIL_PATH)/local_machdep.ml
+.PHONY : machdep $(MACHDEP_PATH)/local_machdep.ml
+machdep: $(MACHDEP_PATH)/local_machdep.ml
 bin/machdep.exe: machdep
 
 config.h: 
@@ -107,7 +109,8 @@ config.h:
 	$(ECHO) "missing config.h file generated at configure stage using --enable-localmachdep option."
 	exit 1;
 
-$(CIL_PATH)/local_machdep.ml: $(CIL_PATH)/machdep.c config.h Makefile.generating
+$(MACHDEP_PATH)/local_machdep.ml: \
+  $(MACHDEP_PATH)/machdep.c config.h Makefile.generating
 	$(PRINT_MAKING) $@
 	$(RM) $@
 	$(ECHO) "(* This module was generated automatically by code in Makefile and machdep.c *)" >$@
-- 
GitLab