mirror of
https://github.com/SebastianWendel/nixpkgs.git
synced 2024-10-20 20:53:19 +02:00
24c8927c4a
https://github.com/mono/mono/pull/13109/ Co-authored-by: Moises Nessim <moises.nessim@topmanage.com>
14 lines
593 B
Diff
14 lines
593 B
Diff
diff --git a/src/scripts/fssrgen.fsx b/src/scripts/fssrgen.fsx
|
|
index 0bee9b79e..e6ceda11e 100644
|
|
--- a/src/scripts/fssrgen.fsx
|
|
+++ b/src/scripts/fssrgen.fsx
|
|
@@ -329,7 +329,7 @@ let StringBoilerPlate filename =
|
|
// END BOILERPLATE
|
|
"
|
|
|
|
-let RunMain(filename, outFilename, outXmlFilenameOpt, projectNameOpt) =
|
|
+let RunMain(filename:string, outFilename, outXmlFilenameOpt, projectNameOpt) =
|
|
try
|
|
let justfilename = System.IO.Path.GetFileNameWithoutExtension(filename)
|
|
if justfilename |> Seq.exists (fun c -> not(System.Char.IsLetterOrDigit(c))) then
|