diff options
-rw-r--r-- | app/Makefile.inc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/app/Makefile.inc b/app/Makefile.inc index 5a0e10593..5f2ec87bd 100644 --- a/app/Makefile.inc +++ b/app/Makefile.inc @@ -1,4 +1,4 @@ .if exists(Makefile.am) -install: +realinstall: exec ${MAKE_ENV} ${MAKE} install-strip .endif |