Guest User

Untitled

a guest
Jun 19th, 2018
78
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.61 KB | None | 0 0
  1. diff --git a/configure.ac b/configure.ac
  2. index 434da55..a89b062 100644
  3. --- a/configure.ac
  4. +++ b/configure.ac
  5. @@ -5650,8 +5650,8 @@ then
  6. [
  7. AC_PATH_PROGS(MOZILLA_CONFIG,
  8. [mozilla-config seamonkey-config xulrunner-config],
  9. - AC_MSG_ERROR([Please install the Mozilla development tools. mozilla-config was not found.])
  10. - )
  11. + [no])
  12. + test "${MOZILLA_CONFIG}" = "no" && AC_MSG_ERROR([Please install the Mozilla development tools. mozilla-config was not found.])
  13. ]
  14. )
  15. dnl pkg-config failed but we might have found a mozilla-config
Add Comment
Please, Sign In to add comment