diff docs/makefile @ 5270:a799f5d228f1

tests: check for file existance in a portable way The precise output of ls is highly OS specific, so just use the simpler test command.
author Joerg Sonnenberger <joerg@bec.de>
date Thu, 09 Apr 2020 19:51:03 +0200
parents 150be007f421
children 77729ad7cb0c
line wrap: on
line diff