diff options
| -rw-r--r-- | .darcs-boring | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.darcs-boring b/.darcs-boring index 246fb72400..aa0af3d79f 100644 --- a/.darcs-boring +++ b/.darcs-boring @@ -28,7 +28,7 @@ ^driver/ ^testsuite/ # Boring file regexps: -#\.hi$ +\.hi$ \.o$ \.o\.cmd$ # *.ko files aren't boring by default because they might |