diff options
Diffstat (limited to 'config')
-rw-r--r-- | config/ChangeLog | 4 | ||||
-rw-r--r-- | config/bootstrap-Og.mk | 1 |
2 files changed, 5 insertions, 0 deletions
diff --git a/config/ChangeLog b/config/ChangeLog index 63f4325..5a06cde 100644 --- a/config/ChangeLog +++ b/config/ChangeLog @@ -1,3 +1,7 @@ +2019-07-08 Richard Sandiford <richard.sandiford@arm.com> + + * bootstrap-Og.mk: New file. + 2019-06-25 Kwok Cheung Yeung <kcy@codesourcery.com> Andrew Stubbs <ams@codesourcery.com> diff --git a/config/bootstrap-Og.mk b/config/bootstrap-Og.mk new file mode 100644 index 0000000..9057afb --- /dev/null +++ b/config/bootstrap-Og.mk @@ -0,0 +1 @@ +BOOT_CFLAGS := -Og $(filter-out -O%, $(BOOT_CFLAGS)) |