Skip to content

use correct shell for ubuntu

Lingxin Meng requested to merge shellfish into devel

#!/bin/bash instead of #!/bin/sh - sh links to dash on Ubuntu and causes wrong syntax in version.vhd

Merge request reports