Advertisement
Guest User

Untitled

a guest
Apr 25th, 2019
88
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.63 KB | None | 0 0
  1. #!/bin/bash
  2.  
  3. FILE=/home/kim/git/hw-grading-scripts/kernelteams
  4. LINUX_LOC=/home/kim/git/hw-grading-scripts/hw5/linux
  5. COUNTER=101
  6.  
  7. while read -r student; do
  8. echo "-----------------------STARTING- $student------------------------"
  9. git fetch --tags $student
  10. cd $LINUX_LOC
  11. make olddefconfig
  12. grep -v -e 'CONFIG_LOCALVERSION' .config > temp
  13. rm .config
  14. mv temp .config
  15. a="CONFIG_LOCALVERSION="
  16. b="$a\"$student\""
  17. echo $b >> .config
  18. echo "CONFIG_LOCALVERSION_AUTO=y" >> .config
  19. cat .config | grep $a
  20. make -j4
  21. sudo make modules_install
  22. sudo make install
  23. echo "-----------------------ENDING- $b--------------------------"
  24.  
  25. done < $FILE
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement