# Last edited on 2024-03-28 19:26:19 by stolfi

PROGS := check_bin_lib_links.sh
LIBS := check_bin_lib_program_links.gawk

include ${STOLFIHOME}/programs/GENERIC-SCRIPTS.make