make.sh 1003 B

12345678910111213141516171819202122232425262728293031323334
  1. # This file is part of Tabannusi, a continuous build system.
  2. # Copyright (c) 2016 ali abdul ghani <alimiracle@riseup.net>
  3. # Tabannusi is free software: you can redistribute it and/or modify
  4. # it under the terms of the GNU General Public License as published by
  5. # the Free Software Foundation, either version 3 of the License, or
  6. # (at your option) any later version.
  7. # Tabannusi is distributed in the hope that it will be useful,
  8. # but WITHOUT ANY WARRANTY; without even the implied warranty of
  9. # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  10. # GNU General Public License for more details.
  11. # You should have received a copy of the GNU General Public License
  12. # along with Tabannusi. If not, see <http://www.gnu.org/licenses/>.
  13. source /etc/tabannusi/config.sh
  14. build()
  15. {
  16. if test $cpu_n = 1
  17. then
  18. make
  19. else
  20. make -j$cpu_n
  21. fi
  22. }
  23. dist()
  24. {
  25. export DISTCC_POTENTIAL_HOSTS=$servers
  26. pump make -j$cpu_n CC=distcc
  27. }
  28. if test "use_dist" = "yes"
  29. then
  30. dist
  31. else
  32. build
  33. fi