Remove linux-isms from Makefile
authorDavid Dahlberg <david.dahlberg@fkie.fraunhofer.de>
Fri, 15 Aug 2014 10:51:08 +0000 (12:51 +0200)
committerHenning Rogge <henning.rogge@fkie.fraunhofer.de>
Fri, 15 Aug 2014 10:51:08 +0000 (12:51 +0200)
commit3da7cc10efae1e81c023fdfd6d4cae4dbe76c104
treee7914c7130d8453d32883d1934595f88192505f3
parent96f5474c306692b8fc5aae1a79bfe0cc1912ce2a
Remove linux-isms from Makefile

BSD rmdir does not know "--ignore-fail-on-non-empty"
The rationale for this switch is not to stop make, if
rmdir returns nonzero. So "|| true" will do the job also.
Makefile