diff options
| -rw-r--r-- | rtems/config/tools/rtems-tools-common-1.cfg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rtems/config/tools/rtems-tools-common-1.cfg b/rtems/config/tools/rtems-tools-common-1.cfg index dc66783..9474ad1 100644 --- a/rtems/config/tools/rtems-tools-common-1.cfg +++ b/rtems/config/tools/rtems-tools-common-1.cfg @@ -46,7 +46,7 @@ License: BSD-2-Clause + GPL-2.0 fi cd ${source_dir_rtems_tools} - ./waf configure ${RT_HOST} --prefix=%{_prefix} + ./waf distclean configure ${RT_HOST} --prefix=%{_prefix} ./waf cd ${build_top} |