File: kernel-name

package info (click to toggle)
pari 2.17.3-1
  • links: PTS
  • area: main
  • in suites: forky, sid
  • size: 24,508 kB
  • sloc: ansic: 281,184; sh: 861; perl: 420; yacc: 214; makefile: 162; f90: 88
file content (33 lines) | stat: -rwxr-xr-x 601 bytes parent folder | download | duplicates (12) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
 
#! /bin/sh
name=$1
arch=$2
lvl1=$3

case "$name" in
  *-*)
  kernlvl0=`echo "$name" | sed -e 's/\(.*\)-.*/\1/'`
  kernlvl1=`echo "$name" | sed -e 's/.*-\(.*\)/\1/'` ;;
  gmp) #Alias for auto-gmp
  kernlvl0="$arch"; kernlvl1=gmp ;;
  none) #Alias for none-none
  kernlvl0=none; kernlvl1=none;;
  *)
  kernlvl0="$name"; kernlvl1=auto ;;
esac

if [ "$kernlvl0" = "auto" ]; then
  kernlvl0="$arch";
fi

case "$kernlvl1" in
  gmp|none) ;;
  auto) kernlvl1=$lvl1;;
  *) cat << EOM >& 2
###
### Level1 kernel = '$kernlvl1' unknown, using 'none'
###
EOM
     kernlvl1=none ;;
esac

echo "$kernlvl0-$kernlvl1"