diff options
| author | Sverker Eriksson <[email protected]> | 2018-06-08 15:22:09 +0200 |
|---|---|---|
| committer | Sverker Eriksson <[email protected]> | 2018-06-08 15:22:09 +0200 |
| commit | cefb0d82743d908af1d7933feb8f2ea59c6a0ec3 (patch) | |
| tree | 4d171f0a5e27b09a70776a2ddd437787c02cb83f /erts | |
| parent | 8376b2cfcc4ab37ea398c2c564d2ba64d485896a (diff) | |
| download | otp-cefb0d82743d908af1d7933feb8f2ea59c6a0ec3.tar.gz otp-cefb0d82743d908af1d7933feb8f2ea59c6a0ec3.tar.bz2 otp-cefb0d82743d908af1d7933feb8f2ea59c6a0ec3.zip | |
erts: Remove dead code in cerl script
Diffstat (limited to 'erts')
| -rw-r--r-- | erts/etc/unix/cerl.src | 13 |
1 files changed, 2 insertions, 11 deletions
diff --git a/erts/etc/unix/cerl.src b/erts/etc/unix/cerl.src index 9dd8d85abe..4eeb6ba8c3 100644 --- a/erts/etc/unix/cerl.src +++ b/erts/etc/unix/cerl.src @@ -69,15 +69,6 @@ cxargs_add() { done } -eeargs= -eeargs_add() { - while [ $# -gt 0 ]; do - cargs="$cargs $1" - eeargs="$eeargs $1" - shift - done -} - core= GDB= @@ -255,7 +246,7 @@ EXEC=$BINDIR/erlexec PROGNAME="$PROGNAME$cargs" EMU="$EMU$TYPE" -EMU_NAME=`$EXEC -emu_name_exit $eeargs` +EMU_NAME=`$EXEC -emu_name_exit` if [ $skip_erlexec = yes ]; then emu_xargs=`echo $xargs | sed "s|+|-|g"` @@ -321,7 +312,7 @@ if [ "x$GDB" = "x" ]; then elif [ $run_rr = yes ]; then exec rr record --ignore-nested $BINDIR/$EMU_NAME $emu_xargs "$@" -pz $PRELOADED else - exec $EXEC $eeargs $xargs ${1+"$@"} + exec $EXEC $xargs ${1+"$@"} fi elif [ "x$GDB" = "xgdb" ]; then case "x$core" in |