diff Makefile @ 2434:0d86e7ff49e1

Print binary name and input file name when outputting -o options.
author Matti Hamalainen <ccr@tnsp.org>
date Sun, 23 Feb 2020 06:13:24 +0200
parents 8abdd95139d6
children 71f04d8e791e
line wrap: on
line diff