Remove codeql.yml, .gitignore and Makefile

The reason it [codeql.yml] was removed before is that GitHub does not support shell scripts. As such I have added codeql.yml to .gitignore. The test.yml file will have to suffice. The Makefile rules were reordered a bit and missing targets in .PHONY were added (and also reordered).
xexyl · Nov 2, 2024 · c2345a1 · c2345a1
1 parent 321092a
commit c2345a1
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 57 deletions.
diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml
diff --git a/.gitignore b/.gitignore
@@ -2,5 +2,6 @@
 *.bak
 *.bku
 .*.sw[a-z]
+/.github/workflows/codeql.yml
 readme.html
 README.html
diff --git a/Makefile b/Makefile
@@ -61,7 +61,7 @@ RM_V=
 all:
 	@:
 
-.PHONY: all clean clobber install uninstall test check_man
+.PHONY: all clean clobber install uninstall shellcheck check_man test
 
 clean:
 	@:
@@ -120,8 +120,6 @@ shellcheck: ${SGIT} .shellcheckrc
 	@echo
 	@echo "${OUR_NAME}: make $@ ending"
 
-test: check_man shellcheck
-	@:
 
 check_man: ${ALL_MAN_TARGETS}
 	@echo
@@ -142,3 +140,6 @@ check_man: ${ALL_MAN_TARGETS}
 	fi
 	@echo
 	@echo "${OUR_NAME}: make $@ ending"
+
+test: shellcheck check_man
+	@: