diff --git a/hphp/runtime/ext_hhvm/make_systemlib.sh b/hphp/runtime/ext_hhvm/make_systemlib.sh index 01f1f2a3b..781fe1cc0 100755 --- a/hphp/runtime/ext_hhvm/make_systemlib.sh +++ b/hphp/runtime/ext_hhvm/make_systemlib.sh @@ -8,9 +8,13 @@ shift; SYSTEMLIB=$INSTALL_DIR/systemlib.php +# If we put the line we're generating into this file, +# then the linter will think the generator itself +# is generated. Encode it into a variable for safe keeping. +AT="@" + echo " ${SYSTEMLIB} -echo -n "// @" >> ${SYSTEMLIB} -echo "generated" >> ${SYSTEMLIB} +echo "// {$AT}generated" >> ${SYSTEMLIB} for i in $@; do if [ ! -f "$i" ]; then