9 Jul
2023
9 Jul
'23
8:51 a.m.
On Thu, Jul 06, 2023 at 05:10:08PM +0800, Zhangjin Wu wrote:
align the test values for different runs and different architectures.
Since the total number of tests is not bigger than 1000 currently, let's align them with "%03d".
%03d is not great for those who want to use them in scripts because it will prepend zeroes. Better use %3d. Look for example:
$ x=$(printf "%03d\n" 19) $ echo $x 019 $ echo $((x+1)) -bash: 019: value too great for base (error token is "019")
Instead:
$ printf "%3d\n" 19 19 $ x=$(printf "%3d\n" 19) $ echo $x 19 $ echo $((x+1)) 20
If you're fine with it I'll change your patch and commit message accordingly.
Willy