diff options
author | Björn-Egil Dahlberg <[email protected]> | 2016-06-07 10:42:27 +0200 |
---|---|---|
committer | Björn-Egil Dahlberg <[email protected]> | 2016-06-07 10:42:27 +0200 |
commit | 40799264e140c20a65a65123ed0ab8980376ddd1 (patch) | |
tree | 40b3a391e2743744ddb9b1ba1f48c5577d990619 | |
parent | 86e15f20c1ed98d358e1ccbc74ccc01c06ed57bf (diff) | |
parent | 2931385f76a4914c5797170e1e44b2878751ac84 (diff) | |
download | otp-40799264e140c20a65a65123ed0ab8980376ddd1.tar.gz otp-40799264e140c20a65a65123ed0ab8980376ddd1.tar.bz2 otp-40799264e140c20a65a65123ed0ab8980376ddd1.zip |
Merge branch 'lucafavatella/otp/remove-dead-code/PR-1085'
* lucafavatella/otp/remove-dead-code/PR-1085:
Delete dead code in `otp_build` script
-rwxr-xr-x | otp_build | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -1393,9 +1393,6 @@ case "$1" in TYPE=opt fi; FLAVOR=$1 - if [ $FLAVOR = opt ]; then - FLAVOR=plain - fi do_boot;; update_primary) case $version_controller in |