Fix broken min file header generation.

diff --git a/Makefile b/Makefile
index ce92f4ffb5a1dbf2636bbbf2d4a6c69887048729..a236ed0a5545605b2e27dee457edd158290ca71f 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -97,8 +97,10 @@ min: ${JQ_MIN}
 ${JQ_MIN}: ${JQ}
        @@echo "Building" ${JQ_MIN}
 
-       @@head -$(shell grep -m 1 -n '*/' ${JQ} | cut -f1 -d:) ${JQ} > ${JQ_MIN}
-       @@${MINJAR} --js ${JQ} --warning_level QUIET --js_output_file ${JQ_MIN}
+       @@head -15 ${JQ} > ${JQ_MIN}
+       @@${MINJAR} --js ${JQ} --warning_level QUIET --js_output_file ${JQ_MIN}.tmp
+       @@cat ${JQ_MIN}.tmp >> ${JQ_MIN}
+       @@rm -f ${JQ_MIN}.tmp
 
 clean:
        @@echo "Removing Distribution directory:" ${DIST_DIR}