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

Bug 263

Summary: Windows build fails because of '.exe' extension
Product: Build system Reporter: John HÃ¥kansson <johnh>
Component: allAssignee: Alexandre David <adavid>
Severity: normal    
Priority: P2    
Version: unspecified   
Hardware: PC   
OS: Windows 2000   

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.