diff options
Diffstat (limited to 'remove_duplicate_header.patch')
-rw-r--r-- | remove_duplicate_header.patch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/remove_duplicate_header.patch b/remove_duplicate_header.patch index 2c14a6762813..e3c7ccb24610 100644 --- a/remove_duplicate_header.patch +++ b/remove_duplicate_header.patch @@ -1,6 +1,6 @@ diff -rupN a/src/supermodel/supermodel.amk b/src/supermodel/supermodel.amk ---- a/src/supermodel/supermodel.amk 2018-07-05 01:13:34.000000000 +0900 -+++ b/src/supermodel/supermodel.amk 2019-01-04 16:41:13.311359955 +0900 +--- a/src/supermodel/supermodel.amk 2019-04-02 03:31:36.000000000 +0900 ++++ b/src/supermodel/supermodel.amk 2021-10-07 13:52:02.243669379 +0900 @@ -36,5 +36,4 @@ src/supermodel/supermodel/sumo_params.h src/supermodel/supermodel/sumo_smdata.h \ src/supermodel/supermodel/sumo_squarks.h \ |