[xmds-devel] Bashism in shell script

[Rafael L. <ra...@la...>]

Please, find attached below a patch for fixing a bashism in the shell 
script xpdeint/version.sh.  This script fails in a standard Debian 
system, where /bin/sh is a link to /bin/dash, not /bin/bash.

Best,

Rafael