Skip non-essential output for the "dub file.d" script syntax.

Fork: 0

johnpearcey / dub_jkp

Browse code Skip non-essential output for the "dub file.d" script syntax. master
1 parent b02c189 commit 5ace394110eba92c7aac9b9ba52d144da79e442c Sönke Ludwig authored on 8 Jun 2016

Patch

Unified Split

Showing 1 changed file

                Ignore Space
               Show notes
              View
            
          
          2 ■■■■■
          source/dub/commandline.d
+		if (args[0].endsWith(".d")) {
			cmdname = "run";
			if (app_args.length) app_args = args[1 .. $] ~ "--" ~ app_args;
			else app_args = args[1 .. $];
			args = ["--single", args[0]];
			args = ["-q", "--single", args[0]];
		} else {
			cmdname = args[0];
			args = args[1 .. $];
		}
 		if (args[0].endsWith(".d")) {
 			cmdname = "run";
 			if (app_args.length) app_args = args[1 .. $] ~ "--" ~ app_args;
 			else app_args = args[1 .. $];
+			args = ["--single", args[0]];
+			args = ["-q", "--single", args[0]];
 		} else {
 			cmdname = args[0];
 			args = args[1 .. $];
 		}

Show line notes below