Fix header guards produced by defsys.py

Issue spotted by Nguyen Anh Quynh
2 files changed
tree: 61dcd4c4d1d430151ec0d2de20bd048e65a97f1c
  1. COPYING
  2. Makefile
  3. README
  4. TODO
  5. src/
  6. tools/