diff scripts/set_startup.sh @ 424:9614e2f4b76e prerelease

Makefile now supports a QUIET flag which silences some of the outputs (currently only the one from STOP). QUIET is enabled by default for runide (or any of the QUIET_TARGETS). Added target for stop to runide
author Giulio Moro <giuliomoro@yahoo.it>
date Thu, 16 Jun 2016 14:34:18 +0100
parents d56e638c37c6
children 99de323c13b3
line wrap: on
line diff