diff options
author | Joel Sherrill <joel.sherrill@oarcorp.com> | 2015-05-27 14:31:20 -0700 |
---|---|---|
committer | Joel Sherrill <joel.sherrill@oarcorp.com> | 2015-05-27 14:31:20 -0700 |
commit | ebe13d69ac97d29f236a6446cec61c0af2ddd216 (patch) | |
tree | 8cc5e052f45ac97aab31d8dbdd019f189c36e872 /RTEMS_Makefiles/Makefile.gsl | |
parent | .gitignore: Add more patterns (diff) | |
download | rtems-addon-packages-ebe13d69ac97d29f236a6446cec61c0af2ddd216.tar.bz2 |
RTEMS_Makefiles/*: If the build works do a distclean
The bit script did this by default if there wasn't a package
specific Makefile.
Diffstat (limited to 'RTEMS_Makefiles/Makefile.gsl')
-rw-r--r-- | RTEMS_Makefiles/Makefile.gsl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/RTEMS_Makefiles/Makefile.gsl b/RTEMS_Makefiles/Makefile.gsl index 1a995b6..d78b51a 100644 --- a/RTEMS_Makefiles/Makefile.gsl +++ b/RTEMS_Makefiles/Makefile.gsl @@ -17,3 +17,4 @@ all: --disable-shared make make install + make distclean |