Benjamin Valentin
3303b8c16a
Makefile.include: rename Makefile.ci target to create-Makefile.ci ...
If we
-include Makefile.ci
and `Makefile.ci` does not exist, but we provide `make` with a way
on how to do so, it will try to create `Makefile.ci`.
This is not what we want, but I don't know how to disable this automagic.
So rename the target to `create-Makefile.ci` to avoid the conflict.
2021-11-15 20:20:11 +01:00
2021-11-04 10:02:04 +01:00
2021-09-03 11:27:03 +02:00
2021-06-16 12:24:09 +02:00
2021-08-05 20:52:15 +02:00
2021-09-03 16:41:26 +02:00
2021-02-11 17:19:15 +01:00
2021-10-18 20:11:32 +02:00
2021-05-04 10:52:50 +02:00
2020-07-03 12:03:06 +02:00
2020-04-29 18:32:39 +02:00
2020-06-08 10:27:35 +02:00
2020-09-04 15:01:15 +02:00
2019-11-18 17:53:47 +01:00
2021-10-12 10:39:57 +02:00
2019-11-23 22:39:07 +01:00
2021-02-14 14:28:13 +01:00
2021-05-28 11:57:20 +02:00
2021-05-04 10:57:47 +02:00
2020-04-17 23:27:01 +05:30
2021-01-25 09:16:59 +01:00
2021-01-27 11:11:43 +01:00
2021-05-07 21:29:05 +02:00
2021-09-06 15:43:40 +02:00
2021-10-01 15:46:45 +02:00
2018-12-05 15:22:42 +01:00
2021-02-22 12:06:27 +01:00
2021-10-01 11:26:15 +02:00
2019-07-22 12:00:45 +02:00
2021-11-15 20:20:11 +01:00
2018-03-22 20:43:15 +01:00
2021-11-15 20:20:11 +01:00
2021-09-08 12:40:30 +02:00
2019-03-14 12:01:02 +01:00
2020-09-04 15:01:16 +02:00
2019-08-21 12:49:26 +02:00
2020-04-15 12:11:44 +02:00
2021-10-11 21:37:47 +02:00
2020-09-04 15:01:10 +02:00
2021-11-03 11:39:26 +01:00
2021-09-01 08:57:13 +02:00
2021-09-01 08:57:13 +02:00
2020-12-17 15:16:36 +01:00
2020-10-06 17:16:26 +00:00
2021-10-13 14:22:51 +02:00
3303b8c16a