Guest User

Untitled

a guest
Jun 24th, 2018
66
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.64 KB | None | 0 0
  1. $ ghc -o hello hello.hs
  2. $ strip -p --strip-unneeded --remove-section=.comment -o hello-small hello
  3. $ du hello hello-small
  4. 700 hello
  5. 476 hello-small
  6.  
  7. $ ghc -dynamic -o hello hello.hs
  8. $ strip -p --strip-unneeded --remove-section=.comment -o hello-small hello
  9. $ du hello hello-small
  10. 24 hello
  11. 16 hello-small
  12.  
  13. $ gcc hello.c -o hello
  14. $ strip -p --strip-unneeded --remove-section=.comment -o hello-small hello
  15. $ du hello hello-small
  16. 12 hello
  17. 8 hello-small
  18.  
  19. strip -p --strip-unneeded --remove-section=.comment -o your_executable_small your_executable
  20.  
  21. strip -p --strip-unneeded --remove-section=.comment -o your_executable_small your_executable
Add Comment
Please, Sign In to add comment