Bug#772245: gap-scscp: bashism in /bin/sh script

[Jerome BENOIT]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hello Raphael,

thanks for your report.

I can reproduce the bugreport issue on my box.

I have just double checked: `sleep' seems not to be a shell command,
but it is rather a command-line provided by coreutils according to
the man page sleep(1). From the sleep(1) manpage itself, we read in the DESCRIPTION section (second sentence):

	Unlike most implementations that require NUMBER be an integer, here NUMBER may be an arbitrary floating point number.


So

sleep 0.25

is valid, and I guess that checkbashisms is over reacting here.
what do you think ?

Best wishes,
Jerome

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQEcBAEBAgAGBQJUgwNvAAoJEIC/w4IMSybjPPYH/ilJfwAOGr853bMDtW7ma7Fo
BmDRj8dTMfYky8uX8+ceTPE6Ua5Z2V1SyKXmhSWAn4FNYWW+7yh+asj6zNXQA3bJ
JvjWiC6zVKyY2APkM6NAs4zGr05m/QGugVWajRXJrA4g8rGSnKxiYk+4UdexAeBK
a7DVxANrELzDEVNiLcQ16dWP0MkdWuikNxWWIOMMRTV/WGHZDy6tPo5aQv2gxadQ
pZopmtSWfoaU0E47JqBZRZROwin4enWsZUbBjEJyUY9VSLerDA6EZGcmIwwHO9l0
a8RACcEcCvugnzLkgbnJvpw3/YBYDQlcbXsjJg7vE5DZZPg6fOGBgQP6g+bG6kM=
=k4hB
-----END PGP SIGNATURE-----