שולחן ערוך

  • אורח חיים - סימן רמד
    איזו מלאכות יכול האינו יהודי לעשות בעד הישראל
סעיף ג :
אם בנו עובד כוכבים לישראל בית בשבת באיסור נכון להחמיר שלא יכנסו בו:
הגה:
מיהו אם התנה ישראל עם אינו יהודי שלא לעשות לו מלאכה בשבת והעובד כוכבים עשאה בעל כרחו למהר להשלים מלאכתו אין לחוש (מרדכי ריש פרק מי שהפך ורבינו ירוחם ובית יוסף, ועיין לקמן סימן תקמ"ג) :