diff options
Diffstat (limited to 'round-robin.sh')
-rw-r--r-- | round-robin.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/round-robin.sh b/round-robin.sh index 0844c9de..abe27dfe 100644 --- a/round-robin.sh +++ b/round-robin.sh @@ -247,6 +247,14 @@ build_abe () project=gcc stage="--set buildconfig=bootstrap-debug" ;; + bootstrap_profiled) + project=gcc + stage="--set buildconfig=bootstrap --set makeflags=profiledbootstrap" + ;; + bootstrap_profiled_lto) + project=gcc + stage="--set buildconfig=bootstrap-lto --set makeflags=profiledbootstrap" + ;; *) project=$component stage="" |