Skip to content
Snippets Groups Projects
Commit dad711e5 authored by jdh8d's avatar jdh8d
Browse files

fixed so that build isn't broken after exporting package

parent 425f36ee
Branches
Tags
No related merge requests found
...@@ -17,6 +17,7 @@ Vagrant.configure(2) do |config| ...@@ -17,6 +17,7 @@ Vagrant.configure(2) do |config|
# README step 0, unpack tarball. # README step 0, unpack tarball.
zipr_toolchain.vm.provision "shell", privileged: false, inline: <<-SHELL zipr_toolchain.vm.provision "shell", privileged: false, inline: <<-SHELL
cd /home/vagrant cd /home/vagrant
echo "Extracting zipr_toolchain.tgz into VM."
tar xzf /vagrant/zipr_toolchain.tgz tar xzf /vagrant/zipr_toolchain.tgz
SHELL SHELL
......
...@@ -4,5 +4,9 @@ cd $PEASOUP_UMBRELLA_DIR ...@@ -4,5 +4,9 @@ cd $PEASOUP_UMBRELLA_DIR
./regen_install.sh ida ps zipr ubuntu16 stars ./regen_install.sh ida ps zipr ubuntu16 stars
cp -r installed zipr_toolchain cp -r installed zipr_toolchain
echo "Creating zipr_toolchain.tgz"
tar czf ubuntu16_files/zipr_toolchain.tgz zipr_toolchain tar czf ubuntu16_files/zipr_toolchain.tgz zipr_toolchain
rm -Rf zipr_toolchain rm -Rf zipr_toolchain
$PEDI_HOME/pedi -c -m manifest.txt
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment