Skip to content
This repository has been archived by the owner on Feb 1, 2020. It is now read-only.

Remove perl5 and otp installs on travis #504

Merged
merged 1 commit into from
Aug 9, 2017

Conversation

bulbazord
Copy link
Contributor

This is shitty hack. I feel bad about doing this, but I think it should fix our things in the short term while we come up with a better solution for the long term. I'm thinking we can probably play around with Travis settings until we find a sweet spot, but that will take more time to read the documentation and engage the Travis community.

# In the home directory, /home/travis/perl5 takes up roughly 1.1GB of space and /home/travis/otp takes
# up roughly 3.0GB. We should be able to recover this space on travis by removing these things, since
# we never use them.
if [ -e "~/perl5" ]; then
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

There's no need to check if the folder exists because you're using rm -f anyway.

if [ -e "~/perl5" ]; then
rm -rf ~/perl5
fi
if [ -e "~/otp" ]; then
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ditto.

@@ -14,6 +14,17 @@ source "$top/Support/Scripts/common.sh"

cformat="clang-format-4.0"

# We're running out of disk space on Travis. This is a dirty, dirty hack. We shouldn't have to do this.
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Are you sure these lines are less than 80 columns?


set -eu

# We're running out of disk space on Travis. This is a dirty hack. We shouldn't have to do this.
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

80 columns

@bulbazord bulbazord merged commit 670b8be into facebookarchive:master Aug 9, 2017
@bulbazord bulbazord deleted the fix_travis branch August 9, 2017 23:35
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants