]> source.dussan.org Git - jquery.git/commitdiff
Fix broken min file header generation.
authorjeresig <jeresig@gmail.com>
Mon, 11 Oct 2010 03:28:30 +0000 (23:28 -0400)
committerjeresig <jeresig@gmail.com>
Mon, 11 Oct 2010 03:28:30 +0000 (23:28 -0400)
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}