diff options
Diffstat (limited to 'scripts/make.sh')
| -rwxr-xr-x | scripts/make.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/make.sh b/scripts/make.sh index 61f2acfa..a685010c 100755 --- a/scripts/make.sh +++ b/scripts/make.sh @@ -88,7 +88,7 @@ do # turn any non-quoted opstring (NULL or 0) into " " (because fscanf can't # handle "" with nothing in it). - ) | $CC -E - | \ + ) | ${CROSS_COMPILE}${CC} -E - | \ sed -n -e 's/" *"//g;/^#/d;s/"/"/p' -e 's/ *$//;s/ [^" ]*$/ " "/p' # Sort resulting line pairs and glue them together into triplets of |