diff --git a/scripts/genGitHdr.sh b/scripts/genGitHdr.sh index 07fa2a6b..64f4d59b 100755 --- a/scripts/genGitHdr.sh +++ b/scripts/genGitHdr.sh @@ -17,14 +17,17 @@ echo "#define FCEUX_GIT_REV \"$GIT_REV\" " >> $TMP_FILE; echo "const char *fceu_get_git_url(void){ return FCEUX_GIT_URL; }" >> $TMP_FILE echo "const char *fceu_get_git_rev(void){ return FCEUX_GIT_REV; }" >> $TMP_FILE +echo "Git URL: $GIT_URL "; +echo "Git Rev: $GIT_REV "; if [ -e $OUTPUT_DIR/$FILE ]; then - diff $TMP_FILE $OUTPUT_DIR/$FILE + diff -q $TMP_FILE $OUTPUT_DIR/$FILE if [ $? != 0 ]; then - echo 'File Differs'; - mv -f $TMP_FILE $OUTPUT_DIR/$FILE + mv -f $TMP_FILE $OUTPUT_DIR/$FILE; + echo "Updated $OUTPUT_DIR/$FILE"; fi else mv -f $TMP_FILE $OUTPUT_DIR/$FILE + echo "Generated $OUTPUT_DIR/$FILE"; fi