1 files changed, 2 insertions, 0 deletions
diff --git a/configure b/configure
index 14a0a04476..0af495f710 100644
--- a/configure
+++ b/configure
@@ -1984,6 +1984,7 @@ c/src/exec/score/inline/Makefile
 c/src/exec/score/src/Makefile
 c/src/exec/score/tools/Makefile
 c/src/exec/score/tools/generic/Makefile
+c/src/exec/score/tools/generic/size_rtems
 c/src/exec/wrapup/Makefile
 c/src/exec/wrapup/rtems/Makefile
 c/src/lib/Makefile
@@ -2129,6 +2130,7 @@ c/src/exec/score/inline/Makefile
 c/src/exec/score/src/Makefile
 c/src/exec/score/tools/Makefile
 c/src/exec/score/tools/generic/Makefile
+c/src/exec/score/tools/generic/size_rtems
 c/src/exec/wrapup/Makefile
 c/src/exec/wrapup/rtems/Makefile
 c/src/lib/Makefile