diff options
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 |