0011-js-src-Makefile.in-install-shell-only-if-it-s-built.patch 795 B

12345678910111213141516171819202122232425262728
  1. From b5e4a9926cf50d12e9c5c05c6d1b161e5b662d62 Mon Sep 17 00:00:00 2001
  2. From: Carlos Santos <unixmania@gmail.com>
  3. Date: Sat, 7 Mar 2020 23:42:02 -0300
  4. Subject: [PATCH] js/src/Makefile.in: install shell only if it's built
  5. Prevents an installation error if we configure with --disable-js-shell.
  6. Signed-off-by: Carlos Santos <unixmania@gmail.com>
  7. ---
  8. js/src/Makefile.in | 2 +-
  9. 1 file changed, 1 insertion(+), 1 deletion(-)
  10. diff --git a/js/src/Makefile.in b/js/src/Makefile.in
  11. index 4ac9f48..9c8fb64 100644
  12. --- a/js/src/Makefile.in
  13. +++ b/js/src/Makefile.in
  14. @@ -136,7 +136,7 @@ endif
  15. install::
  16. $(MAKE) -C build install
  17. - $(MAKE) -C shell install
  18. + if [ -d shell ]; then $(MAKE) -C shell install; fi
  19. ifdef HAVE_DTRACE
  20. javascript-trace.h: $(srcdir)/devtools/javascript-trace.d
  21. --
  22. 2.18.2