From ebe13d69ac97d29f236a6446cec61c0af2ddd216 Mon Sep 17 00:00:00 2001 From: Joel Sherrill Date: Wed, 27 May 2015 14:31:20 -0700 Subject: RTEMS_Makefiles/*: If the build works do a distclean The bit script did this by default if there wasn't a package specific Makefile. --- RTEMS_Makefiles/Makefile.gsl | 1 + 1 file changed, 1 insertion(+) (limited to 'RTEMS_Makefiles/Makefile.gsl') 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 -- cgit v1.2.3