# HG changeset patch
# User Chris Cannam
# Date 1441709467 -3600
# Node ID dcbcbbc201099fc145a6317b479d650360c17cf3
# Parent  c4758b1b108903f8a5283d34f14bbac5ea2d0d0f
Avoid passing empty arg to make

diff -r c4758b1b1089 -r dcbcbbc20109 SCRIPTS/process.sh
--- a/SCRIPTS/process.sh	Tue Sep 08 11:35:05 2015 +0100
+++ b/SCRIPTS/process.sh	Tue Sep 08 11:51:07 2015 +0100
@@ -63,7 +63,7 @@
 fi
 
 platform=
-platform_defines=
+platform_defines=("UNUSED_=")   # Avoid passing empty arg to make as if target
 bits=32
 altbits=
 toolprefix=