diff options
| author | Hans Ulrich Niedermann <[email protected]> | 2011-07-21 12:09:59 +0400 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2011-08-01 16:51:11 +0200 |
| commit | a863e974b2281046419f60a0c9c2220a9bca83e0 (patch) | |
| tree | fb501c8f3cd2a8b594deebc6f9f3ee23cbbbe3cb /lib/webtool/priv | |
| parent | 07936436b8a8b18b80451a09e040283ebecbd43b (diff) | |
| download | otp-a863e974b2281046419f60a0c9c2220a9bca83e0.tar.gz otp-a863e974b2281046419f60a0c9c2220a9bca83e0.tar.bz2 otp-a863e974b2281046419f60a0c9c2220a9bca83e0.zip | |
Do not install *.bat files on non-win32 machines
Signed-off-by: Peter Lemenkov <[email protected]>
Signed-off-by: Hans Ulrich Niedermann <[email protected]>
Diffstat (limited to 'lib/webtool/priv')
| -rw-r--r-- | lib/webtool/priv/Makefile | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/lib/webtool/priv/Makefile b/lib/webtool/priv/Makefile index 56ab772c45..6e1c6606fe 100644 --- a/lib/webtool/priv/Makefile +++ b/lib/webtool/priv/Makefile @@ -39,8 +39,12 @@ HTDOCS_FILES = root/doc/index.html \ root/doc/tool_management.html \ root/doc/start_info.html -SCRIPTS = bin/start_webtool \ - bin/start_webtool.bat +ifeq ($(findstring win32,$(TARGET)),win32) +WIN32_SCRIPTS= bin/start_webtool.bat +else +WIN32_SCRIPTS= +endif +SCRIPTS = bin/start_webtool $(WIN32_SCRIPTS) # ---------------------------------------------------- # FLAGS |