]> git.sesse.net Git - ffmpeg/commitdiff
makedef: Add support for identifying the ARM64 machine type
authorMartin Storsjö <martin@martin.st>
Wed, 13 Sep 2017 20:05:50 +0000 (23:05 +0300)
committerMartin Storsjö <martin@martin.st>
Thu, 12 Oct 2017 18:49:19 +0000 (21:49 +0300)
Since this machine type is 5 chars while the existing ones only
were 3 (which the regexp assumed), the regexp has to be extended
a little.

Signed-off-by: Martin Storsjö <martin@martin.st>
compat/windows/makedef

index fd7959a745fff3e30df3e5f7444f4ff3c4b0e859..0cd169c15c000898c7473bfef5522a7a2dad7087 100755 (executable)
@@ -74,12 +74,12 @@ else
            tr '\t' ' ' |
            grep '^ \+.\+machine \+(.\+)' |
            head -1 |
-           sed -e 's/^ \{1,\}.\{1,\} \{1,\}machine \{1,\}(\(...\)).*/\1/')
+           sed -e 's/^ \{1,\}.\{1,\} \{1,\}machine \{1,\}(\(.\{3,5\}\)).*/\1/')
 
     if [ "${arch}" = "x86" ]; then
         prefix="_"
     else
-        if [ "${arch}" != "ARM" ] && [ "${arch}" != "x64" ]; then
+        if [ "${arch}" != "ARM" ] && [ "${arch}" != "x64" ] && [ "${arch}" != "ARM64" ]; then
             echo "Unknown machine type." >&2
             exit 1
         fi