diff options
| author | Henrik Nord <[email protected]> | 2011-09-01 15:00:19 +0200 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2011-09-01 15:00:19 +0200 |
| commit | 7ca2941ca0ab85d904de658cf495318dcfbda760 (patch) | |
| tree | 8d6abc1263f8ce56d9baf17755b2523dac77a160 /lib/webtool | |
| parent | e813241e103aa74d4daf025564b259f3fb9aca5a (diff) | |
| parent | bf2d853857bb0e3a7fd5a2660b22b6e743f91f1c (diff) | |
| download | otp-7ca2941ca0ab85d904de658cf495318dcfbda760.tar.gz otp-7ca2941ca0ab85d904de658cf495318dcfbda760.tar.bz2 otp-7ca2941ca0ab85d904de658cf495318dcfbda760.zip | |
Merge branch 'dev' into major
Diffstat (limited to 'lib/webtool')
| -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 |