comparison make/linux/Makefile @ 16567:164b644daa83

Minor simplification in WordTypeVerificationPhase
author Gilles Duboscq <duboscq@ssw.jku.at>
date Mon, 14 Jul 2014 14:49:33 +0200
parents 43223d3f5dcd
children b51e29501f30 52b4284cb496
comparison
equal deleted inserted replaced
16566:c82000597867 16567:164b644daa83