building in ubuntu docker container, gnu, arm64...
I get this error when building incrementally:
root@bd9eb8ef3929:/SHiELD_SRC/SHiELD_build/Build# mk_scripts/mk_paths shield gnu
/opt/mkmf/bin:/opt/netcdf/bin:/opt/openmpi/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin
mk_scripts/mk_paths: 50: pushd: not found
building in ubuntu docker container, gnu, arm64...
I get this error when building incrementally:
I found some guidance that said this is a bash command, but it's being called with "#!/bin/sh" as the header: https://stackoverflow.com/questions/5193048/bin-sh-pushd-not-found
I have fixed by changing the header of the makefiles to "#!/bin/bash"