diff options
-rwxr-xr-x | tools/configure | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/configure b/tools/configure index 99f1d7dbf6..eef336c469 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -67,6 +67,7 @@ simul () { | |||
67 | 67 | ||
68 | sed > Makefile \ | 68 | sed > Makefile \ |
69 | -e "s,@SIMDIR@,${simdir},g" \ | 69 | -e "s,@SIMDIR@,${simdir},g" \ |
70 | -e "s,@TOOLSDIR@,${toolsdir},g" \ | ||
70 | -e "s,@TARGET@,${target},g" \ | 71 | -e "s,@TARGET@,${target},g" \ |
71 | -e "s,@ARCHOS@,${archos},g" \ | 72 | -e "s,@ARCHOS@,${archos},g" \ |
72 | -e "s,@DEBUG@,${debug},g" \ | 73 | -e "s,@DEBUG@,${debug},g" \ |
@@ -81,6 +82,7 @@ sed > Makefile \ | |||
81 | 82 | ||
82 | ARCHOS=@ARCHOS@ | 83 | ARCHOS=@ARCHOS@ |
83 | SIMDIR=@SIMDIR@ | 84 | SIMDIR=@SIMDIR@ |
85 | TOOLSDIR=@TOOLSDIR@ | ||
84 | DEBUG=@DEBUG@ | 86 | DEBUG=@DEBUG@ |
85 | TARGET=@TARGET@ | 87 | TARGET=@TARGET@ |
86 | DISPLAY=@DISPLAY@ | 88 | DISPLAY=@DISPLAY@ |