From 6c1c3157a2298129cfc0573a00c551b82c0250d8 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sun, 28 Apr 2024 11:36:24 +0200 Subject: Adding debian version 15.1. Signed-off-by: Daniel Baumann --- debian/vfp-support.preinst | 50 ++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 50 insertions(+) create mode 100644 debian/vfp-support.preinst (limited to 'debian/vfp-support.preinst') diff --git a/debian/vfp-support.preinst b/debian/vfp-support.preinst new file mode 100644 index 0000000..028c30c --- /dev/null +++ b/debian/vfp-support.preinst @@ -0,0 +1,50 @@ +#!/bin/sh +set -e + +if [ "$1" = install ] || [ "$1" = upgrade ]; then + FILE="/usr/libexec/x86_64-linux-gnu/isa-support/test-VFP" + # "exec >;command" instead of "command >" looks strange but regular + # redirections don't fully work within qemu-user. + ret=0;(exec >/dev/null 2>&1; "$FILE") || ret=$? + if [ $ret -ne 0 ] && [ -n "$IGNORE_ISA" ]; then + cat >&2 <&2 <&2 <