Ismo Puustinen
a911034e01
verify-generated-files-remake.sh: do not mix strings and arrays.
...
The pattern used in the file is this:
echo " ${X[@]:-(none)}"
What happens is that the array is expanded to separate strings, and it
is checked if that's set (for the default value assignment). However,
the correct way is to check if the concatenated array string is set to
avoid a type mismatch:
echo " ${X[*]:-(none)}"
Tests show that at least bash 4.4.23 behaves the same:
X=(foo bar)
echo " ${X[@]:-(none)}"
echo " ${X[*]:-(none)}"
X=()
echo " ${X[@]:-(none)}"
echo " ${X[*]:-(none)}"
produces:
foo bar
foo bar
(none)
(none)
2019-01-29 13:11:25 +02:00
..
2019-01-15 13:33:06 -05:00
2018-04-19 13:20:13 +02:00
2019-01-19 13:58:58 +01:00
2019-01-19 13:58:58 +01:00
2019-01-26 01:07:10 +02:00
2019-01-21 23:11:58 +01:00
2019-01-25 12:37:45 -05:00
2018-01-18 15:29:27 -08:00
2019-01-29 01:21:03 -08:00
2019-01-29 01:21:13 -08:00
2019-01-15 13:33:06 -05:00
2018-04-19 13:20:13 +02:00
2018-04-23 22:45:24 -07:00
2018-04-19 13:20:13 +02:00
2018-04-19 13:20:13 +02:00
2018-10-15 21:05:32 -04:00
2019-01-22 08:39:55 +08:00
2019-01-22 08:39:55 +08:00
2019-01-22 08:39:55 +08:00
2019-01-22 08:39:55 +08:00
2018-03-07 11:27:56 -08:00
2018-04-19 13:20:13 +02:00
2018-03-07 11:27:56 -08:00
2018-10-17 10:34:21 -07:00
2019-01-26 01:07:10 +02:00
2018-04-19 13:20:13 +02:00
2019-01-18 19:17:16 +01:00
2018-11-07 11:02:01 -08:00
2019-01-08 14:47:26 -08:00
2018-04-19 13:20:13 +02:00
2018-04-19 13:20:13 +02:00
2018-04-19 13:20:13 +02:00
2019-01-24 14:55:33 -08:00
2018-08-31 14:01:16 -07:00
2018-02-08 21:12:03 -08:00
2018-04-19 13:20:13 +02:00
2018-04-19 13:20:13 +02:00
2018-04-19 13:20:13 +02:00
2018-05-02 19:44:32 -07:00
2018-03-07 17:43:47 +08:00
2018-04-19 13:20:13 +02:00
2019-01-08 14:47:26 -08:00
2018-12-18 16:06:56 -08:00
2018-04-19 13:20:13 +02:00
2018-04-19 13:20:13 +02:00
2019-01-26 01:07:10 +02:00
2018-04-19 13:20:13 +02:00
2018-04-19 13:20:13 +02:00
2018-09-04 20:22:59 +02:00
2018-05-29 12:00:37 -04:00
2018-11-15 09:38:59 -08:00
2018-11-15 09:38:59 -08:00
2019-01-23 11:37:39 -05:00
2018-04-19 13:20:13 +02:00
2018-04-19 13:20:13 +02:00
2018-04-19 13:20:13 +02:00
2018-04-19 13:20:13 +02:00
2018-07-26 11:56:04 -04:00
2019-01-18 19:17:16 +01:00
2019-01-24 21:43:15 -05:00
2019-01-19 13:58:58 +01:00
2018-04-19 13:20:13 +02:00
2019-01-19 13:58:58 +01:00
2018-05-07 16:52:20 -07:00
2018-04-19 13:20:13 +02:00
2018-08-09 18:45:27 +03:00
2018-04-06 16:37:19 -07:00
2018-04-19 13:20:13 +02:00
2018-04-19 13:20:13 +02:00
2018-12-18 16:06:56 -08:00
2018-04-19 13:20:13 +02:00
2018-03-07 17:43:47 +08:00
2018-04-19 13:20:13 +02:00
2019-01-26 01:07:10 +02:00
2019-01-29 13:11:25 +02:00
2018-07-09 13:50:09 -07:00
2018-04-19 13:20:13 +02:00
2018-09-04 20:22:59 +02:00
2018-11-15 09:38:59 -08:00
2018-04-19 13:20:13 +02:00
2018-04-19 13:20:13 +02:00
2018-04-19 13:20:13 +02:00
2019-01-08 11:17:00 -08:00
2019-01-08 11:17:00 -08:00
2018-09-06 14:27:42 +08:00
2018-12-27 12:05:45 -08:00
2018-04-19 13:20:13 +02:00
2018-04-19 13:20:13 +02:00
2019-01-26 19:53:51 +01:00
2018-04-19 13:20:13 +02:00
2018-04-19 13:20:13 +02:00
2018-06-29 13:45:17 +08:00
2018-10-08 13:34:34 -07:00
2019-01-08 11:17:00 -08:00
2019-01-14 15:44:15 -08:00
2018-06-25 15:45:14 -07:00
2019-01-08 11:17:00 -08:00
2018-08-24 09:14:33 -04:00
2018-04-19 13:20:13 +02:00
2018-11-21 11:51:33 -05:00
2018-04-19 13:20:13 +02:00
2018-05-02 19:44:32 -07:00