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:	all	Assignee:	Alexandre David <adavid>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	P2
Version:	unspecified
Hardware:	PC
OS:	Windows 2000
Architecture:

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.