diff --git a/Makefile b/Makefile index 91da2de40ce7772d129a8c998360b3d173ef6a0f..bb48e51a502d50642a55940030bf40e3acd291ca 100644 --- a/Makefile +++ b/Makefile @@ -96,7 +96,7 @@ static: # include the project identifier; skip subdirectories; # also removes old submit tarballs, they are outdated identifier: - @if [ $$(grep --include=*.{h,hpp,c,cpp} --directories=skip -L $(IDENTIFIER) * | wc -l) -ne 0 ]; then echo -n "Missing project identifier in file(s): ";echo `grep --include=*.{h,hpp,c,cpp} --directories=skip -L $(IDENTIFIER) *`;rm -f $(PARTIAL_SUBMITFILE) $(FULL_SUBMITFILE); exit 1; fi + @if [ $$(grep --include=*.{h,hpp,c,cpp} --exclude=xcode_redirect.hpp --directories=skip -L $(IDENTIFIER) * | wc -l) -ne 0 ]; then echo -n "Missing project identifier in file(s): ";echo `grep --include=*.{h,hpp,c,cpp} --directories=skip -L $(IDENTIFIER) *`;rm -f $(PARTIAL_SUBMITFILE) $(FULL_SUBMITFILE); exit 1; fi # Build both release and debug executables all: clean