# Last edited on 2026-09-12 09:22:34 by stolfi SHELL := /bin/bash -u .PHONY: .PHONY: \ some-targets \ make-what \ test-report_072_funcs \ all-tests \ ALL \ SCRIPTS := ${wildcard {work/,}*.{sh,gawk,py,sed} } SOURCES := ../070/res ../071/res TARGETS := ALL all: some-targets # all: make-what # all: all-tests # all: test-report_072_funcs make-what: echo "** make what?" 1>&2 some-targets: ${SCRIPTS} ${SOURCES} do_note_072.py ${TARGETS} ${TARGETS} &: ${SCRIPTS} ${SOURCES} do_note_072.py ${TARGETS} ALL_TESTS := \ test-report_072_funcs \ NOT_READY_TESTS := \ all-tests: ${ALL_TESTS} test-report_072_funcs: \ report_072_funcs.py report_072_funcs.py 'R72.TEST' > res/report_072_funcs_test_alt.html