This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 263 - Windows build fails because of '.exe' extension
Summary: Windows build fails because of '.exe' extension
Status: RESOLVED FIXED
Alias: None
Product: Build system
Classification: Unclassified
Component: all (show other bugs)
Version: unspecified
Hardware: PC Windows 2000
: P2 normal
Assignee: Alexandre David
URL:
Depends on:
Blocks:
 
Reported: 2006-02-11 00:47 CET by John Håkansson
Modified: 2007-03-02 22:26 CET (History)
0 users

See Also:
Architecture:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description John Håkansson 2006-02-11 00:47:54 CET 
Building a release for windows runs the 'strip' command, which fails because the
'.exe' extension is missing in the argument to 'strip'.
Comment 1 Alexandre David 2006-02-22 16:25:46 CET 
The makefile is fixed for Windows.