5 years ago · 9da41e8e3b
parent bc48e94183
commit 9da41e8e3b
1 changed files with 3 additions and 0 deletions
--- a/check_makefile.sh
+++ b/check_makefile.sh
@ -37,6 +37,9 @@ if type -P make &>/dev/null; then
        pushd "$(dirname "$makefile")" >/dev/null
        echo "Validating $makefile"
        makefile="${makefile##*/}"
+        if grep '#@' "$makefile"; then
+            echo "WARNING: commented lines still visibile in Makefile"
+        fi
        while read -r target; do
            if [[ "$target" =~ wc-?(code|scripts) ]]; then
                continue