use correct shell for ubuntu
#!/bin/bash instead of #!/bin/sh - sh links to dash on Ubuntu and causes wrong syntax in version.vhd
Please be advised that registry.cern.ch registry (Registry Service) will be unavailable next Monday, March 10th starting at 08:00h (Geneva time) for a short period of time. This may cause temporary disruptions to your workflows. Further information: OTG0154905
#!/bin/bash instead of #!/bin/sh - sh links to dash on Ubuntu and causes wrong syntax in version.vhd