search

loonwerks / jkind

JKind - An infinite-state model checker for safety properties in Lustre
http://loonwerks.com/tools/jkind.html
Other
52 stars 32 forks source link

incorrect scripts for Linux #14

Closed lgwagner closed 11 years ago

lgwagner commented 11 years ago

In your releases, the files contain the ^M characters. I had to run the "dos2unix" utility to get them to work. You might want to fix that on your next release.

agacek commented 11 years ago

This is fixed by 490c1cbf7ebdfeacb2f26dfc0a89289a717431a0. Turns out my git settings were adding the windows EOL characters, but this new .gitattributes file should ensure that is never a problem again.

lgwagner commented 11 years ago

thanks much.