equal
deleted
inserted
replaced
23 #------------------------------------------------------------------------------ |
23 #------------------------------------------------------------------------------ |
24 |
24 |
25 # Fetch parameter |
25 # Fetch parameter |
26 |
26 |
27 if [ $# -ne 2 ]; then |
27 if [ $# -ne 2 ]; then |
28 echo "Usage: $0 <KERNEL> <DEVICEINDEX>" |
28 echo "This script is called by \"make\". Run \"make install\" instead." |
29 exit 1 |
29 exit 1 |
30 fi |
30 fi |
31 |
31 |
32 KERNEL=$1 |
32 KERNEL=$1 |
33 DEVICEINDEX=$2 |
33 DEVICEINDEX=$2 |