Skip to content

Instantly share code, notes, and snippets.

@l0b0

l0b0/makefile-missing.sh

Created December 7, 2010 16:15
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save l0b0/731975 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save l0b0/731975 to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. l0b0 revised this gist Dec 7, 2010. 1 changed file with 1 addition and 1 deletion.
    2 changes: 1 addition & 1 deletion makefile-missing.sh
    View file
    Original file line number Diff line number Diff line change
    @@ -2,5 +2,5 @@ find . -maxdepth 1 -print0 | \
    sort --zero-terminated | \
    while IFS= read -rd $'\0' path
    do
    grep "$(basename -- "${path:2}")" Makefile >/dev/null || echo "Could not find $path"
    grep "$(basename -- "${path:2}")" -- Makefile >/dev/null || echo "Could not find $path"
    done
  2. l0b0 created this gist Dec 7, 2010.
    6 changes: 6 additions & 0 deletions makefile-missing.sh
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,6 @@
    find . -maxdepth 1 -print0 | \
    sort --zero-terminated | \
    while IFS= read -rd $'\0' path
    do
    grep "$(basename -- "${path:2}")" Makefile >/dev/null || echo "Could not find $path"
    done