Skip to content

Instantly share code, notes, and snippets.

@dearprakash

dearprakash/gist:d4967d396d59d3eeb3e012b91b25baa9

Created January 22, 2022 05:54
Show Gist options

  • Select an option

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

Select an option

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

Revisions

  1. dearprakash created this gist Jan 22, 2022.
    8 changes: 8 additions & 0 deletions gistfile1.txt
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,8 @@
    # This will look at any file in that directory that isn't named "README", "Makefile", or that doesn't already end with ".dat". It will then run strfile on them, resulting in correspondingly named datfiles.

    POSSIBLE += $(shell ls -1 | egrep -v '\.dat|README|Makefile' | sed -e 's/$$/.dat/g')

    all: ${POSSIBLE}

    %.dat : %
    @strfile $< $@