save-image.sh 920 B

1234567891011121314151617181920212223242526272829303132333435363738394041
  1. #! /bin/sh
  2. dest=${r38_archive:-acn1@codemist.dyndns.org:/d/r38}
  3. echo "Save images to $dest [use r38_archive to override]"
  4. case `pwd` in
  5. *local*64)
  6. echo save image for linux64
  7. make r38.img
  8. make slowr38.img
  9. make csl.img
  10. scp r38.img $dest/images/r38-64.img
  11. scp slowr38.img $dest/images/slowr38-64.img
  12. scp csl.img $dest/images/csl-64.img
  13. ;;
  14. *demo*64)
  15. echo save image for demo linux64
  16. make r38.img
  17. scp r38.img $dest/images/demo-r38-64.img
  18. ;;
  19. *local*)
  20. echo save image for 32-bit systems
  21. make r38.img
  22. make slowr38.img
  23. make csl.img
  24. scp r38.img $dest/images/r38-32.img
  25. scp slowr38.img $dest/images/slowr38-32.img
  26. scp csl.img $dest/images/csl-32.img
  27. ;;
  28. *demo*)
  29. echo save demo image for 32-bit systems
  30. make r38.img
  31. scp r38.img $dest/images/demo-r38-32.img
  32. ;;
  33. *)
  34. echo request to save image for `pwd` not recognized.
  35. ;;
  36. esac