diff options
Diffstat (limited to 'makeopts.in')
-rw-r--r-- | makeopts.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/makeopts.in b/makeopts.in index 0b6b3ff42..eeccc1f8a 100644 --- a/makeopts.in +++ b/makeopts.in @@ -24,6 +24,7 @@ FETCH=@FETCH@ DOWNLOAD=@DOWNLOAD@ RUBBER=@RUBBER@ KPATHSEA=@KPATHSEA@ +XMLSTARLET=@XMLSTARLET@ BUILD_PLATFORM=@BUILD_PLATFORM@ BUILD_CPU=@BUILD_CPU@ |