Python push button

import RPi.GPIO as GPIO
#import time
import os

radioPin = 11
antennaPin = 12

GPIO.setmode(GPIO.BCM)
GPIO.setup(radioPin,GPIO.IN)
GPIO.setup(antennaPin,GPIO.IN)

while True:
  if (GPIO.input(radioPin)):
    os.system("python /home/pi/bin/button/antenna.py")

  if (GPIO.input(antennaPin)):
    os.system("python /home/pi/bin/button/radio.py")