fix windows build script: pushd and popd require bash

This commit is contained in:
ThomasV 2017-11-29 06:52:12 +01:00
parent 8b66d7c8ae
commit 5158799689

View file

@ -1,4 +1,4 @@
#!/bin/sh #!/bin/bash
# Lucky number # Lucky number
export PYTHONHASHSEED=22 export PYTHONHASHSEED=22