diff scripts/run_project.sh @ 449:5e79364c9b1d prerelease

Remove old SYNTAX target in Makefile, which was causing the syntax check to behave wrong occasioinally. Also fixed update_board.
author Liam Donovan <l.b.donovan@qmul.ac.uk>
date Sun, 19 Jun 2016 21:52:07 +0100
parents 2e01a9d6cb58
children d9a4fc5357e7
line wrap: on
line diff