40 lines
1.6 KiB
Diff
40 lines
1.6 KiB
Diff
diff --git a/repo-projects/Directory.Build.props b/repo-projects/Directory.Build.props
|
|
index b70a3161fef..d57f9393299 100644
|
|
--- a/repo-projects/Directory.Build.props
|
|
+++ b/repo-projects/Directory.Build.props
|
|
@@ -134,6 +134,7 @@
|
|
<StandardSourceBuildArgs>$(StandardSourceBuildArgs) $(FlagParameterPrefix)pack</StandardSourceBuildArgs>
|
|
<StandardSourceBuildArgs>$(StandardSourceBuildArgs) $(FlagParameterPrefix)publish</StandardSourceBuildArgs>
|
|
<StandardSourceBuildArgs>$(StandardSourceBuildArgs) -bl</StandardSourceBuildArgs>
|
|
+ <StandardSourceBuildArgs>$(StandardSourceBuildArgs) /consoleLoggerParameters:ShowTimestamp</StandardSourceBuildArgs>
|
|
|
|
<StandardSourceBuildArgs>$(StandardSourceBuildArgs) /p:ArcadeBuildFromSource=true</StandardSourceBuildArgs>
|
|
<StandardSourceBuildArgs>$(StandardSourceBuildArgs) /p:CopyWipIntoInnerSourceBuildRepo=true</StandardSourceBuildArgs>
|
|
<StandardSourceBuildArgs>$(StandardSourceBuildArgs) /p:DotNetBuildOffline=true</StandardSourceBuildArgs>
|
|
|
|
diff --git a/src/fsharp/eng/build.sh b/src/fsharp/eng/build.sh
|
|
index fff8414b3ef..d470fc6ed56 100755
|
|
--- a/src/fsharp/eng/build.sh
|
|
+++ b/src/fsharp/eng/build.sh
|
|
@@ -144,7 +144,7 @@ while [[ $# > 0 ]]; do
|
|
--sourcebuild)
|
|
source_build=true
|
|
;;
|
|
- /p:*)
|
|
+ /*)
|
|
properties="$properties $1"
|
|
;;
|
|
*)
|
|
diff --git a/src/roslyn/eng/build.sh b/src/roslyn/eng/build.sh
|
|
index a08cbea099d..d3ec235732f 100755
|
|
--- a/src/roslyn/eng/build.sh
|
|
+++ b/src/roslyn/eng/build.sh
|
|
@@ -167,7 +167,7 @@ while [[ $# > 0 ]]; do
|
|
args="$args $1"
|
|
shift
|
|
;;
|
|
- /p:*)
|
|
+ /*)
|
|
properties="$properties $1"
|
|
;;
|
|
*)
|