Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- #!/bin/bash
- FILE=/home/kim/git/hw-grading-scripts/kernelteams
- LINUX_LOC=/home/kim/git/hw-grading-scripts/hw5/linux
- COUNTER=101
- while read -r student; do
- echo "-----------------------STARTING- $student------------------------"
- git fetch --tags $student
- cd $LINUX_LOC
- make olddefconfig
- grep -v -e 'CONFIG_LOCALVERSION' .config > temp
- rm .config
- mv temp .config
- a="CONFIG_LOCALVERSION="
- b="$a\"$student\""
- echo $b >> .config
- echo "CONFIG_LOCALVERSION_AUTO=y" >> .config
- cat .config | grep $a
- make -j4
- sudo make modules_install
- sudo make install
- echo "-----------------------ENDING- $b--------------------------"
- done < $FILE
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement