#!/bin/sh
# Honor the command while keeping the reproduction's package-manager-free environment.
exec /bin/bash --noprofile --norc -c "$2"
