diff options
Diffstat (limited to 'erts')
| -rw-r--r-- | erts/configure.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/erts/configure.in b/erts/configure.in index 81ecad4f51..7986a55911 100644 --- a/erts/configure.in +++ b/erts/configure.in @@ -738,6 +738,11 @@ if test "$ac_cv_path_MKDIR" = false; then AC_MSG_ERROR([No 'mkdir' command found]) fi +AC_PATH_PROG(CP, cp, false, $_search_path) +if test "$ac_cv_path_CP" = false; then + AC_MSG_ERROR([No 'cp' command found]) +fi + _search_path= |