Option parsing is broken

[smarter]

dotc -target:jvm-1.7 doesn't work, it seems that one needs to type dotc -target jvm-1.7 which is different from scalac

[DarkDimius]

fyi: java1.7 target is NOT supported by dotty. Backend assumes at least java 1.8(encoding of traits assumes presence of jvm 1.8 default methods, closures are always compiled to jvm 1.7 lambdas).

[smarter]

Right, it's just the first example I found :)

[felixmulder]

@smarter: is this still broken?

$ ./bin/dotc -target:jvm-1.7 file.scala

Works fine (even if it doesn't do anything with the java 7 choice).

[smarter]

Fixed by #1180