Fix empty input filename problem for GCC

zetzit / zz

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

MIT License

1.6k stars 52 forks source link

Fix empty input filename problem for GCC #36

Closed DestyNova closed 4 years ago

DestyNova commented 4 years ago

Fix gcc builds that were confused into thinking the input filename was an empty string if CFLAGS or LDFLAGS were empty. Also try to make some warnings go away.

DestyNova commented 4 years ago

Fixes issue #35

aep commented 4 years ago

thank you!