diff options
Diffstat (limited to 'tools')
| -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 () { sed > Makefile \ -e "s,@SIMDIR@,${simdir},g" \ + -e "s,@TOOLSDIR@,${toolsdir},g" \ -e "s,@TARGET@,${target},g" \ -e "s,@ARCHOS@,${archos},g" \ -e "s,@DEBUG@,${debug},g" \ @@ -81,6 +82,7 @@ sed > Makefile \ ARCHOS=@ARCHOS@ SIMDIR=@SIMDIR@ +TOOLSDIR=@TOOLSDIR@ DEBUG=@DEBUG@ TARGET=@TARGET@ DISPLAY=@DISPLAY@ |