Jack May 6a0a03415c Don't update if already an executable ...

(cherry picked from commit 2fbedd834f)

2021-06-27 12:24:00 -06:00

..

src

Don't update if already an executable

2021-06-27 12:24:00 -06:00

.gitignore

…

makefile

…