Skip to content
Snippets Groups Projects
Commit 9ea00d62 authored by Giovanni Bussi's avatar Giovanni Bussi
Browse files

Fixed problem with non-case-sensitive filesystems

Both file "forces" and "FORCES" were written, causing a stupid
problem on the mac. Moved "FORCES" to "ff" and added it to the regtest.

Probably we should better handle these cases and give an error...
parent b0b94156
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment