From 058927e1b3cb8fa96e2900c476cd08cb050597bc Mon Sep 17 00:00:00 2001 From: Sync Date: Wed, 6 Jan 2016 00:52:20 +0100 Subject: [PATCH] Fix add version again. It seems to be difficult to find the right Python executable depending on the operating system. --- tools/add_version_info.py | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/tools/add_version_info.py b/tools/add_version_info.py index 5cb7383d..fd4f1393 100755 --- a/tools/add_version_info.py +++ b/tools/add_version_info.py @@ -1,4 +1,12 @@ -#!/usr/bin/env python2 +#! /bin/sh +"true" '''\' +if command -v python2 > /dev/null; then + exec python2 "$0" "$@" +else + exec python "$0" "$@" +fi +exit $? +''' # # Add CRC checksum and version information to an ELF file # Copyright (C)2015 Thomas Kindler