fix patch path

This commit is contained in:
Jacob Heider 2023-07-24 10:09:02 -04:00 committed by Ivan Bushchik
parent cfd5f9476a
commit 562495da87

View file

@ -12,7 +12,7 @@ build:
linux:
gnu.org/patch: '*'
script:
- run: patch -p1 < ../props/32.patch
- run: patch -p1 < props/32.patch
if: linux
- make
- run: cp "$SRCROOT"/gost3411-2012 .