-
Felix Paul Kühne authored
* let's run 'make clean-src' when typing 'make clean', since make clean-bin won't be used anyway. The user is informed of this through a message.
52932184
* let's run 'make clean-src' when typing 'make clean', since make clean-bin won't be used anyway. The user is informed of this through a message.